Probabilistic action planning based on linear temporal logic
نویسندگان
چکیده
منابع مشابه
Linear Temporal Logic based Motion Planning
We describe the problem of motion planning for multiple goals in unstructured environments by using temporal logic for specification of the goals. We solve the problem of mission planning for mobile robots, wherein the goal of the robot can be a complex mission specification rather than a classical "Go from A to B" problem. To achieve this problem we take a two dimensional map of the real envir...
متن کاملProbabilistic Temporal Logic for Motion Planning with Resource Threshold Constraints
Temporal logic and model-checking are useful theoretical tools for specifying complex goals at the task level and formally verifying the performance of control policies. We are interested in tasks that involve constraints on real-valued energy resources. In particular, autonomous gliding aircraft gain energy in the form of altitude by exploiting wind currents and must maintain altitude within s...
متن کاملTemporal Probabilistic Logic Programs
There are many applications where the precise time at which an event will occur (or has occurred) is uncertain. Temporal probabilistic logic programs (TPLPs) allow a programmer to express knowledge about such events. In this paper, we develop a model theory, xpoint theory, and proof theory for TPLPs, and show that the xpoint theory may be used to enumerate consequences of a TPLP in a sound and ...
متن کاملDeductive Planning and Composite Actions in Temporal Action Logic
Temporal Action Logic is a well established logical formalism for reasoning about action and change that has long been used as a formal specification language. Its first-order characterization and explicit time representation makes it a suitable target for automated theorem proving and the application of temporal constraint solvers. We introduce a translation from a subset of Temporal Action Lo...
متن کاملProbabilistic Temporal Planning
Planning research has explored the issues that arise when planning with concurrent and durative actions. Separately, planners that can cope with probabilistic effects have also been created. However, few attempts have been made to combine both probabilistic effects and concurrent durative actions into a single planner. The principal one of which we are aware was targeted at a specific domain. W...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SCIENTIA SINICA Technologica
سال: 2020
ISSN: 1674-7259
DOI: 10.1360/sst-2019-0292